ATOMS AND MONADS, THEIR METAPHYSICAL DEVELOPMENT

Modules Over Monads and Their Algebras

Modules over monads (or: actions of monads on endofunctors) are structures in which a monad interacts with an endofunctor, composed either on the left or on the right. Although usually not explicitly identified as such, modules appear in many contexts in programming and semantics. In this paper, we investigate the elementary theory of modules. In particular, we identify the monad freely generat...

Monads with arities and their associated theories

After a review of the concept of ‘‘monad with arities’’ we show that the category of algebras for such a monad has a canonical dense generator. This is used to extend the correspondence between finitary monads on sets and Lawvere’s algebraic theories to a general correspondence between monads and theories for a given category with arities. As an application we determine arities for the free gro...

Lie Atoms and Their Deformations

A Lie atom is essentially a pair of Lie algebras and its deformation theory is that of a deformation with respect to the first algebra, endowed with a trivialization with respect to the second. Such deformations occur commonly in Algebraic Geometry, for instance as deformations of subvarieties of a fixed ambient variety. Here we study some basic notions related to Lie atoms, focussing especiall...

Corecursive Algebras, Corecursive Monads and Bloom Monads

An algebra is called corecursive if from every coalgebra a unique coalgebra-toalgebra homomorphism exists into it. We prove that free corecursive algebras are obtained as coproducts of the terminal coalgebra (considered as an algebra) and free algebras. The monad of free corecursive algebras is proved to be the free corecursive monad, where the concept of corecursive monad is a generalization o...

Nonlinearity and metaphysical emergence